MESA: Support for Scenario-Based Design of Concurrent Systems
نویسندگان
چکیده
The latest ITU-T standard syntax of Message Sequence Charts (MSCs) 16] ooers several operators to compose MSCs in a hierarchical , iterating, and nondeterministic way. However, current tools operate on MSCs that describe nite, deterministic behavior. In this paper, we describe the architecture and the partial implementation of Mesa, an MSC-based tool that supports early phases of the software development cycle. The main functionalities of MESA are: an environment for the composition of system models through MSCs, syntactic and model-based analysis of an MSC model, and resolution of resource related underspeciications in an MSC model.
منابع مشابه
Prediction of daily evaporation using hybrid support vector regression-firefly optimization algorithm and multilayer perceptron
Prediction of daily evaporation is a valuable and determinant tool in sustainable agriculture and hydrological issues, especially in the design and management of water resources systems. Therefore, in this study, the ability of artificial intelligence models of multi-layer perceptron (MLP), support vector regression (SVR), and the hybrid model of support vector regression-firefly optimization a...
متن کاملFault diagnosis in a distillation column using a support vector machine based classifier
Fault diagnosis has always been an essential aspect of control system design. This is necessary due to the growing demand for increased performance and safety of industrial systems is discussed. Support vector machine classifier is a new technique based on statistical learning theory and is designed to reduce structural bias. Support vector machine classification in many applications in v...
متن کاملDevelopment of Design and Manufacturing Support Tool for Optimization of Ultrasonic Machining (USM) and Rotary USM
Ultrasonic machining (USM) is a mechanical material removal process used to erode holes and cavities in hard or brittle work pieces by using shaped tools, high-frequency and an abrasive slurry. This paper addresses the concept and development of an expert system (ES) for hard and brittle material, such as glass, quartz, diamond, carbides, semi conducting materials, ceramic and graphite which ca...
متن کاملAn approach to fault detection and correction in design of systems using of Turbo codes
We present an approach to design of fault tolerant computing systems. In this paper, a technique is employed that enable the combination of several codes, in order to obtain flexibility in the design of error correcting codes. Code combining techniques are very effective, which one of these codes are turbo codes. The Algorithm-based fault tolerance techniques that to detect errors rely on the c...
متن کاملDevelopment of Design and Manufacturing Support Tool for Optimization of Ultrasonic Machining (USM) and Rotary USM
Ultrasonic machining (USM) is a mechanical material removal process used to erode holes and cavities in hard or brittle work pieces by using shaped tools, high-frequency and an abrasive slurry. This paper addresses the concept and development of an expert system (ES) for hard and brittle material, such as glass, quartz, diamond, carbides, semi conducting materials, ceramic and graphite which ca...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1998